Feeds to Scour
SubscribedAll
Scoured 15595 posts in 309.6 ms
Making a Language
thunderseethe.dev·7h
🛠Language Design
Preview
Report Post
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Ark and GENESIS A protocol for sovereign know nodes and consent-based federation
news.ycombinator.com·5h·
Discuss: Hacker News
🤝Consensus Protocols
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·11h·
Discuss: Hacker News
Format Verification
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·20h·
Discuss: r/golang
🔗Topological Sorting
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·15h
🏠Homelab Orchestration
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🎯Gradual Typing
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
⚙️TLA+
Preview
Report Post
Guardrails for trust, safety, and ethical development and deployment of Large Language Models (LLM)
arxiv.org·46m
💻Local LLMs
Preview
Report Post
[Podcast] NITK Students at IETF: Fresh minds for standards development
blog.apnic.net·9h
📝ABNF Parsing
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·13h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Using Haskell in Production
agentultra.com·1d
🔗Functional Compilers
Preview
Report Post
**How to Build a Service Mesh Sidecar in Go for Microservices Communication**
dev.to·1d·
Discuss: DEV
gRPC
Preview
Report Post
network library for C/C++
mongoose.ws·20h·
Discuss: Hacker News
🌐NetworkProtocols
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·3h
Effectful Programming
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·12h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·15h
🧩WASM Components
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·14h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
🌳Incremental Parsing
Preview
Report Post
On MPLS Paths, Tunnels and Interfaces
blog.ipspace.net·1d
📡Network Protocol Design
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help